∀(x : Bool) → Type
